Optimisation par colonies de fourmis pour la programmation logique étendue

نویسندگان

  • Pascal Nicolas
  • Frédéric Saubion
  • Igor Stéphan
چکیده

RÉSUMÉ. La Programmation Logique Étendue (Answer Set Programming) est un formalisme particulièrement adapté pour représenter différents problèmes issus de l’Intelligence Artificielle (raisonnement non monotone, planification, diagnostic...). De plus, elle peut être utilisée pour coder de manière concise des problèmes combinatoires. Dans tous les cas, les solutions sont obtenues sous la forme d’ensembles de littéraux : les ensembles réponses (Answer Sets). L’optimisation par colonies de fourmis est une métaheuristique générale et non complète qui a déjà été utilisée avec succès pour résoudre des problèmes combinatoires difficiles (voyageur de commerce, coloration de graphes, affectation quadratique...). Elle est basée sur le comportement collectif de fourmis artificielles explorant un graphe et échangeant des informations au moyen de traces de phéromones. L’objectif de ce travail est de montrer comment l’optimisation par colonies de fourmis peut être utilisée pour calculer l’ensemble réponse d’un programme logique.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Programmation par contraintes avec des fourmis

On explore dans cet article les possibilités d’intégration de la métaheuristique d’optimisation par colonies de fourmis (ACO) dans un langage de programmation par contraintes (PPC). L’idée est d’utiliser un langage de PPC pour décrire le problème à résoudre, ainsi que pour propager et vérifier les contraintes, et d’utiliser ACO pour guider la recherche de solutions. On illustre notre approche s...

متن کامل

Inférence de non-terminaison pour les programmes logiques avec contraintes

RÉSUMÉ. L’analyse de terminaison des programmes logiques a été sujette à une recherche intensive durant les deux dernières décennies. La majorité des travaux s’est intéressée à la terminaison universelle gauche d’une classe donnée de requêtes, c’est-à-dire au fait que toutes les dérivations des requêtes de cette classe produites par un moteur Prolog sont finies. En revanche, l’étude du problème...

متن کامل

La logique modale des modèles d'équilibre

RÉSUMÉ. Les modèles ici-et-là-bas et les modèles d’équilibre ont été étudiés comme cadre sémantique pour la programmation par ensembles réponses par Pearce, Cabalar, Lifschitz, Ferraris et d’autres. La sémantique de la logique de l’équilibre est indirecte dans le sens que la notion de satisfiabilité est définie en termes de satisfiabilité dans la logique ici-et-là-bas. Nous donnons ici une séma...

متن کامل

Reformulation de problèmes de satisfaction de contraintes basée sur des métamodèles

Un des challenges importants en programmation par contraintes est la reformulation de modèles déclaratifs en programmes exécutables permettant de calculer leurs solutions. Cette phase peut nécessiter de faire des traductions entre les langages de la programmation par contraintes, de changer la représentation des contraintes ou d’optimiser les modèles et de paramétrer les stratégies de recherche...

متن کامل

Vers une nouvelle approche d'extraction de la logique métier d'une application orientée objet

Résumé. Les compagnies font face à d’énormes coûts pour maintenir leurs applications informatiques. Ces applications contiennent des connaissances corporatives importantes qui deviennent difficiles à récupérer après plusieurs années d’opération et d’évolution. Plusieurs approches ont été proposées afin d’extraire du code source des abstractions pour aider les développeurs à assimiler ces connai...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002